Richard E Vesley: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Choice Sequences. A Chapter of Intuitionistic Mathematicsby A. S. Troelstra

Review by: Richard Vesley

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 104 KB

english, 1979

2

Realizing Brouwer's sequences

Richard E Vesley

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 3.31 MB

english, 1996

3

Book Reviews

Molland, A.G., Ashworth, E.J., Henry, D. P., Smith, B., Simons, P. M., Vesley, Richard, Grandy, Richard E, Poser, Rezensiert von H., Salmon, Paul, Bäuerle, Rainer, Blackmore, John T., Grattan-Guinness

Journal:

History and Philosophy of Logic

Year:

1983

Language:

english

File:

PDF, 1.86 MB

english, 1983

4

Cross-sectional epidemiological study of respiratory disease in Turkey farmers

Stephen J. Reynolds, David Parker, Donald Vesley, Doug Smith, Richard Woellner

Journal:

American Journal of Industrial Medicine

Year:

1993

Language:

english

File:

PDF, 619 KB

english, 1993

5

A common axiom set for classical and intuitionistic plane geometry

Melinda Lombard, Richard Vesley

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 1.77 MB

english, 1998

6

Constructivity in Geometry

Vesley, Richard

Journal:

History and Philosophy of Logic

Year:

1999

Language:

english

File:

PDF, 114 KB

english, 1999

7

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Intuitionistic Analysis: The Search for Axiomatization and Understanding

Vesley, Richard

Year:

1980

Language:

english

File:

PDF, 968 KB

english, 1980

8

[Studies in Logic and the Foundations of Mathematics] The Foundations of Intuitionistic Mathematics Volume 39 || Chapter III The Intuitionistic Continuum

Vesley, Richarde E.

Year:

1965

Language:

english

File:

PDF, 1.98 MB

english, 1965

9

On strengthening intuitionistic logic.

Vesley, Richard E.

Journal:

Notre Dame Journal of Formal Logic

Year:

1963

Language:

english

File:

PDF, 175 KB

english, 1963